Types and Programming Languages

Results: 543



#Item
511Computer programming / Computer arithmetic / Primitive types / Procedural programming languages / Earth sciences graphics software / NetCDF / Floating point / Pointer / Data analysis / Computing / Data types / Software engineering

International Journal of High Performance Computing Applications http://hpc.sagepub.com Scaling Properties of Common Statistical Operators for Gridded Datasets Charles S. Zender and Harry Mangalam

Add to Reading List

Source URL: dust.ess.uci.edu

Language: English - Date: 2007-12-03 17:37:12
512Data types / Procedural programming languages / Type theory / Cross-platform software / Modula-3 / Modula-2 / Oberon / Modula / Pascal / Software engineering / Computing / Computer programming

Modula-3: Language definition (single page) Modula-3: Language definition (single page) Designed and written by Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson.

Add to Reading List

Source URL: www.fh-jena.de

Language: English - Date: 2007-10-15 12:28:52
513Computer programming / Ericsson / Erlang / Data types / Type system / Computing / Software engineering / Functional languages

Who • Fabien Dagnat, Engineer and Phd in CS •

Add to Reading List

Source URL: www.erlang.se

Language: English - Date: 2002-11-18 05:06:52
514Cross-platform software / Procedural programming languages / Data types / C++ / X10 / C++ classes / C / Array data type / Literal / Software engineering / Computing / Computer programming

X10 Language Specification Version 2.4 Vijay Saraswat, Bard Bloom, Igor Peshansky, Olivier Tardieu, and David Grove Please send comments to [removed] May 20, 2014

Add to Reading List

Source URL: x10.sourceforge.net

Language: English - Date: 2014-05-22 17:06:04
515Procedural programming languages / C++ / Data types / Cross-platform software / C programming language / C / Pointer / Generic programming / Fortran / Software engineering / Computing / Computer programming

Preface This book is primarily intended to be a text for the programming component in an introductory two semester computer science course (some materials are a little advanced and might postponed to later semesters). Th

Add to Reading List

Source URL: www.uow.edu.au

Language: English - Date: 2001-01-07 17:05:13
516Procedural programming languages / Data types / Programming language implementation / Fortran / Control flow / Subroutine / Assembly language / C / Goto / Computing / Software engineering / Computer programming

4 4 Why have "high-level" languages? 4.1 LIMITATIONS OF ASSEMBLY LANGUAGE AND

Add to Reading List

Source URL: www.uow.edu.au

Language: English - Date: 2001-01-07 17:05:09
517Procedural programming languages / Data types / Cross-platform software / Fortran / Pointer / Intel Fortran Compiler / Silverfrost FTN95 / Pascal / C / Computing / Software engineering / Computer programming

FORTRAN 1. Fortran Background 1.1 Fortran history and standards

Add to Reading List

Source URL: personalpages.manchester.ac.uk

Language: English - Date: 2010-09-22 12:04:54
518C programming language / C++ / Data types / Procedural programming languages / Pointer / ALGOL 68 / Struct / Segmentation fault / Typedef / Computing / Software engineering / Computer programming

GAVO DaCHS: DirectGrammars and Boosters Author:

Add to Reading List

Source URL: docs.g-vo.org

Language: English - Date: 2014-02-04 13:44:38
519Data types / Procedural programming languages / C Standard Library / Type theory / Abstract interpretation / Symbolic execution / Printf format string / C / ALGOL 68 / Computing / Software engineering / Computer programming

Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler∗ Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A.

Add to Reading List

Source URL: hci.stanford.edu

Language: English - Date: 2005-06-09 19:14:00
520Data types / Procedural programming languages / Type theory / Array programming languages / Fortran / Source code / Subroutine / Type conversion / C / Software engineering / Computing / Computer programming

PSTI RESEARCH LECTURE SERIES "SCIENTIFIC COMPUTING WITH FORTRAN 95" DR. VIKTOR K. DECYK RESEARCH PHYSICIST, UCLA Abstract The Plasma Science and Technology Institute (PSTI) at UCLA will host a

Add to Reading List

Source URL: exodus.physics.ucla.edu

Language: English - Date: 2002-04-04 03:06:38
UPDATE